< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Browser/Server模式下管理系统的开发 B/S系统下数据访问及报表生成技术 MVC结构模式下WEB表达层的设计和开发 SQL Server数据库管理系统上的SQL查询优化 毕业礼物 可做参考
上传时间： 2013-12-26
上传用户：libinxny
armsys2410-b开发板核心板原理图
上传时间： 2016-06-09
上传用户：csgcd001
杭州立宇泰armsys2410-b套件光盘资料使用手册。 包括： 1、armsys2410-B开发板linux2.4.18内核用户手册.pdf 2、armsys2410-B开发板硬件用户手册.pdf 3、ARMSYS2410开发套件Linux2.6.15内核使用说明.pdf 4、ARMSYS2410开发套件WINCE5.0BSP使用说明.pdf 5、一步一步基于ADS1.2进行开发（ARM9）.pdf
上传时间： 2014-01-21
上传用户：hj_18
Cell 插件用于开发B/S结构程序，使用Asp, Asp.net, Jsp, VbScript, JavaScript等语言开发，可以在浏览器中直接打印报表（非IE打印），带有国际化数字签名，让用户使用更方便，更安全。 · 具备Cell组件的所有特色功能，在浏览器中提供报表的显示和打印(非IE的打印) · 网络报表界面美观，大大改善了浏览器中报表的输出效果 · 带有国际化数字签名，让用户使用的更安全、更放心 · 可将报表文件另存为华表文件或者Excel文件，从而可以进行进一步加工 · 支持ASP、ASP.Net、JSP、VBScript、JavaScript等语言开发 在开发工具中将Cell插件引入至工程，然后将Cell插件拖至页面中即可开始报表设计。
上传时间： 2017-06-25
上传用户：13160677563
b to b 模式 电子商务系统 ，c# 开发 , B/S结构
上传时间： 2014-01-20
上传用户：hanli8870
~{JGR 8vQ IzWwR5SC5D2V?bD#DbO5M3~} ~{3v?b~} ~{Hk?b~} ~{2iQ/5H9&D\~} ~{?IRTWw@)3d~} ~{TZ~}JDK1.4.2~{OBM(9}~}
上传时间： 2015-02-22
上传用户：ommshaggar
MATLAB具有强大的科学计算功能, 含有大量多目标优化分析函数。依据技术将函数在 环境下进行调用, 进行多目标优化集成系统开发, 实现数据的自动输入和输出功能, 编制了MATLAB与VB的数据接口代码, 提出程序设计时应注意的问题。
上传时间： 2014-11-26
上传用户：erkuizhang
hr伯乐管理系统！非常适合java学员做学习参考用！是用集成框架开发的Struts+hrbernet+Spring 开发的
标签： hrbernet Struts Spring java
上传时间： 2014-01-14
上传用户：思琦琦
智能选课系统:本程序采用Microsoft Visual Studio 2005集成环境开发即 asp.net 2.0+access 数据库开发。 功能如下:学校中学生教师根据不同的权限合理分配,提高效率
标签： Microsoft Visual Studio access
上传时间： 2014-01-14
上传用户：plsee
